function MM_jumpMenu(obj,url,query_string){
        var page=1;
        if(obj.value!=''){
                page = parseInt(obj.value);
        }
        location.href=url+'?page='+page+query_string;
} 
String.prototype.trim = function(){
        return this.replace(/(^\s*)|(\s*$)/g,   "");
}

function escapeHTML(htmlstr)
{
        return htmlstr.replace(/&/g,'&amp;').replace(/</g,'&lt;').replace(/>/g,'&gt;');
}
